Nuprl Definition : s_part 13,42
(E\)(x,y) == E(x,y) & ((E(y,x))) 
latex

Upgen algebra 1
Wellformedness Lemmass part wf
DefinitionsP & Q, A

origin